Automated Testing of Planning Models Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi, Margaret Smith Jet Propulsion Laboratory? , California Institute of Technology 4800 Oak Grove Drive, Pasadena/Los Angeles, C

Source URL: rjoshi.org

• Model checkers
• Promela
• Computing
• Model checking
• SPIN model checker
• Gerard J. Holzmann
• Modeling language
• Mars Exploration Rover
• Economic model
• Theoretical computer science
• Notation

Gambling & Social Media Carl Miller Alex Krasodomski-Jones Josh Smith February 2016

Source URL: infohub.gambleaware.org

Emotion Challenge: Building a New Photoreal Facial Performance Pipeline for Games Alex Smith Activision Publishing, Inc.

Source URL: www.activision.com

The Surface Ocean CO2 Atlas enables quantification of the ocean carbon sink and ocean acidification Dorothee Bakker (), Benjamin Pfeil, Karl Smith, Simone Alin, Kim Currie, Steve Jones, Alex Kozyr, Cami

Source URL: www.socat.info

The British Epigraphy Society SUBSCRIPTION FORM Please complete, using BLOCK CAPITALS: Full Name: Title and name which you would like us to use on address labels (eg. Mr. A. Smith/ Alex Smith/ etc):

Source URL: www.britishepigraphysociety.org

Gentrification in London: a progress report, 2001–2013 Alex Fenton Contents 1 Introduction .

Source URL: sticerd.lse.ac.uk

• Economy
• Welfare economics
• Affordable housing
• Social inequality
• Gentrification
• Urbanization
• Poverty
• Economic inequality
• Extreme poverty
• JEL classification codes
• Working poor
• Neil Smith

Making it Harder for the Bad Guys: The Case for Eliminating High Denomination Notes Peter Sands Assisted by Ben Weisman, Maja Sostaric, Alex Smith, Joel Smoot, Ofir Zigelman and Joel Mathur

Source URL: www.hks.harvard.edu

• Economy
• Tax avoidance
• Tax evasion
• Crime
• International taxation
• Anti-globalization
• Money laundering
• Terrorism
• Organized crime
• Tax
• Financial crimes
• Money

INNOVATIONS AND CHALLENGES IN FINANCING SUSTAINABLE INFRASTRUCTURE ALEX MONEY SMITH SCHOOL OF ENTERPRISE AND THE ENVIRONMENT UNIVERSITY OF OXFORD

Source URL: www.smithschool.ox.ac.uk

Gambling & Social Media Carl Miller Alex Krasodomski-Jones Josh Smith February 2016

Source URL: www.rgtinfohub.org.uk

• Behavioral addiction
• Problem gambling
• Psychiatric diagnosis
• Online gambling
• Gambling in Australia
• Gambling
• Tipster
• Bookmaker
• Casino

UKHA MIDLANDS, WALES & SOUTH WEST NEWSLETTER APRIL 2015 Welcome to new members: Nick Andrew & Tony Kerr, Xeros Cleaning; Alex Whitfield, Floriture; Susie Bogie, Executive Head Housekeeper & Donna Smith, Head Housekeeper,

Source URL: www.ukha.co.uk